function jump(pageName){
	return pageName=="" || pageName==undefined ? location.href="javaScript:void(0);" : location.href=pageName+".html";
}